The Hilbert scheme $X^{[n]}$ of a surface $X$ describes collections of $n$ (not necessarily distinct) points on $X$. More precisely, it is the moduli space for $0$-dimensional subschemes of $X$ of length $n$. Recently it was realized that Hilbert schemes originally studied in algebraic geometry are [...]